221. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده : P. Miglioli ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
222. Theory reasoning in connection calculi
پدیدآورنده : Baumgartner, Peter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1527
223. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
پدیدآورنده : Henk Barendregt, Tobias Nipkow, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806
224. Types for proofs and programs :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
225. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
226. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
227. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
پدیدآورنده : Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996
228. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
229. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
230. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
231. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
232. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158
233. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
234. Un programme de demonstration de theoremes
پدیدآورنده :
موضوع : Automatic theorem proving
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
235. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
236. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
237. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90
238. classical logics :-Automated deduction in classical and non
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving. ;
239. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
240. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
